match [] with
| {caret}_ :: [ (* foo *) ] -> ()
